additional lemma

Translations
дополнительная лемма
An additional lemma was introduced to simplify the proof.
Для упрощения доказательства была введена дополнительная лемма.